Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
681	A Universal Automated Information System for Science and Technology Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. [removed] http://gtps.math.cmu.edu/andrews.html Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2011-01-31 14:57:26 Automated theorem proving Mathematical logic Reasoning Logical syntax Formal methods Reasoning system Automated reasoning Formal proof Theorem Logic Mathematics Science
682	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
683	Minutes Tableaux Business Meeting Siena, Thursday, 21 June 2001, 13:30–14:00 Present members from the Tableaux Steering Committee (TSC): Roy Dyckhoff, Uwe Egly, Uli Furbach, Didier Galmiche, Rajeev Gor´e, Reiner Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:56 Theorem Proving in Higher-Order Logics Federated Logic Conference International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
684	The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2009-07-26 04:55:53 Formal methods Vampire E theorem prover CADE ATP System Competition Geoff Sutcliffe CASC Software Theoretical computer science Automated theorem proving
685	Abstract The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no descr Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:22:38 Non-classical logic Paraconsistent logic Philosophical logic Method of analytic tableaux Well-formed formula Ordinal number Symbol Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
686	Robinson Unification Algorithm in F# Learning version This is a learning version of the Robinson unification algorithm. A final different version will become part of a library for doing AST transformations. I wrote the c Add to Reading List Source URL: www.antlr3.org Language: English - Date: 2014-04-25 11:51:26 Automated theorem proving Logic programming Unification Hindley–Milner Combinatory logic Theoretical computer science Applied mathematics Mathematics
687	Minutes Tableaux Business Meeting Copenhagen, DIKU, Wednesday July 31st, 17:30–18:30, Auditorium 3 Present members from the Tableaux Steering Committee (TSC): Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2003-10-08 00:45:58 Federated Logic Conference International Joint Conference on Automated Reasoning Theorem Proving in Higher-Order Logics Automated theorem proving Logic in computer science International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Automated reasoning Theoretical computer science Applied mathematics Computer science
688	TPS: A Theorem Proving System for Classical Type Theory Peter B. Andrews1, Matthew Bishop2, Sunil Issar3, Dan Nesmith4, Frank Pfenning5, Hongwei Xi6 Abstract Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 16:06:08 Proof theory Logical syntax Logical truth Automated theorem proving Peter B. Andrews Mathematical proof First-order logic Formal proof Proof procedure Logic Mathematics Mathematical logic
689	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
690	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic

UPDATE